trigonometric substitution with inverse sine